TSTP Solution File: DAT252^1 by Mace4---1109a